(DEFPROP BSTATE1 
 (NIL (:2:7:69 24 50 0 256072)
      (:1:2 30000 29400)
      (:1:3 32000 -15000 -45000)
      (:1:6 63100 -15000 -10000 47500 53600)
      (:1:7 74805 -5000 -2500)
      (:1:8 74322 -7500 13000 15200 36200)
      (:1:10 46400 -15000 -15000 40200)
      (:1:13 73900)
      (:1:14 -7500 48100 3100 10700 14450 -3500 -5169 -10160 72200)
      (:1:15 -40000 -15000)
      (:1:16 -600 -9732 -3000 21370)
      (:1:17 44431 -11665)
      (:1:20 -1500 -2500 -2969)
      (:1:21 -1500 -2500)
      (:1:22 -1050 -15000 -1000 -1000 -756)
      (:1:23 -300000 -15000)
      (:1:24 -400 -15000)
      (:1:27 -300 -5000 -16500)
      (:1:28 -2500)
      (:1:29 88500 -11546)
      (:1:31 -4500 -10000)
      (:2:3 -15000 -3000 -1000 -2000 -1200 -10000 -15000 -15000)
      (:2:4 -15000)
      (:2:5 -373 -5000 -15000 39362)
      (:2:6 -6000 -15000 94652)
      (:2:7 -15000 -15000 -15000)) 
VALUE)